Mines ParisTech - PDFSEARCH.IO - Document Search Engine

Mines ParisTech
Results: 376

#	Item
291	Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach Vivien Maisonneuve CRI, Mathématiques et systèmes MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-10-05 08:55:03 The Transformers Humanities Affine transformation Convex function Dimension Affine geometry Transformer Mathematical analysis
292	Leveraging Streaming for Deterministic Parallelization an Integrated Language, Compiler and Runtime Approach Antoniu Pop Centre de recherche en informatique, MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-10-06 11:06:16 Computer programming OpenMP Kahn process networks Stream processing Task parallelism Unified Parallel C FIFO Concurrency Stream Concurrent computing Computing Parallel computing
293	A Stream-Computing Extension to OpenMP Antoniu Pop1 and Albert Cohen2 1 Centre de Recherche en Informatique, MINES ParisTech, France 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-10 10:16:45 Parallel computing OpenMP Stream processing Task parallelism Pipeline Data parallelism Parallel programming model Automatic parallelization OpenCL Computing Concurrent computing Computer programming
294	ALICe: A Framework to Improve Aﬃne Loop Invariant Computation* Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France , s-pari Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-16 04:29:27 Loop invariant Invariant Control flow Abstract interpretation State space Mathematics Science Knowledge Control theory Cybernetics Model checking
295	On the Quality of Relational Database Schemas in Open-source Software Fabien Coelho, Alexandre Aillos, Samuel Pilot, and Shamil Valeev CRI, Math´ematiques et Syst`emes, MINES ParisTech, 35, rue Saint Honor´e, 77305 Fon Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2012-01-27 08:55:10 MySQL Cross-platform software Relational database management systems Data modeling PostgreSQL Relational database Relational model SQL InnoDB Software Computing Data management
296	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
297	Beyond Do Loops: Data Transfer Generation with Convex Array Regions Serge Guelton, Mehdi Amini, Béatrice Creusillet Telecom Bretagne, Brest, France Silkan, Meudon, France MINES ParisTech / CRI, Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2012-09-14 03:52:10 Array data type Mathematical optimization Software engineering Computing Compiler optimizations Convex optimization Convex analysis Mathematical analysis Convex function
298	Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt and Franc¸ois Irigoin CRI, Math´ematiques et syst`emes MINES ParisTech 35 r Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2012-08-30 10:27:02 Software engineering Application programming interfaces Fortran OpenMP Cilk Thread Mandelbrot set OpenCL Message Passing Interface Computing Computer programming Parallel computing
299	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
300	Automatic Streamization of Image Processing Applications Pierre Guillou, Fabien Coelho, and François Irigoin MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 10:48:46 Models of computation Programming paradigms Massively parallel processor array Dataflow architecture Dataflow programming Multi-core processor Dataflow Very long instruction word Directed acyclic graph Computing Parallel computing Computer architecture

UPDATE